Skip to content

Conversation

@gereeter
Copy link
Contributor

@gereeter gereeter commented Oct 1, 2014

This does a large chunk of #6993. It is based on top of #17654.

@gereeter gereeter force-pushed the ident-to-name branch 2 times, most recently from 323c926 to c32ed64 Compare October 1, 2014 21:51
@gereeter
Copy link
Contributor Author

gereeter commented Oct 1, 2014

Rebased onto master now that #17654 has landed.

@gereeter gereeter force-pushed the ident-to-name branch 4 times, most recently from c8ebfc8 to 82cd8d9 Compare October 16, 2014 01:15
@gereeter
Copy link
Contributor Author

cc @jbclements

@gereeter
Copy link
Contributor Author

r? @pcwalton

bors added a commit that referenced this pull request Oct 23, 2014
This does a large chunk of #6993. It is based on top of #17654.
@bors bors closed this Oct 23, 2014
@bors bors merged commit 2343e9d into rust-lang:master Oct 23, 2014
@gereeter gereeter deleted the ident-to-name branch December 17, 2015 01:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants